University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.

University of Groningen - Image and signal processing, information theory, model selection, Modula-3.

University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.

University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.

Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.

Chennai Mathematical Institute - logic and models for concurrency

Graduate student, University of Kansas. Working in the area of routing protocols, network security, information retrieval and operating systems.

University of Cambridge - Semantics and compilation of programs, static analysis of programs.